Skip to main content

A recursively defined ordering for proving termination of term rewriting systems


Published 1978
SHOW MORE


"UILU-ENG 78 1736."

NSF MCS 77-22830."

Bibliography: p. 53


Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 943
Publisher Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign
Pages 74
Language English
Digitizing sponsor University of Illinois Urbana-Champaign
Book contributor University of Illinois Urbana-Champaign
Collection university_of_illinois_urbana-champaign; americana
Notes No copyright or contents pages.

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.


Reviews

There are no reviews yet. Be the first one to write a review.
PEOPLE ALSO FOUND
University of Illinois Urbana-Champaign
by Strachan, Earle Kenneth
27
0
0
University of Illinois Urbana-Champaign
by Kent State University
23
0
0
University of Illinois Urbana-Champaign
by Moxom, Philip Stafford, 1848-
42
0
0
University of Illinois Urbana-Champaign
by Meredith College (Raleigh, N.C.)
36
0
0
University of Illinois Urbana-Champaign
by University of Illinois at Urbana-Champaign. Office of Continuing Education and Public Service; University of Illinois at Urbana-Champaign. Division of University-Extension
56
0
0
University of Illinois Urbana-Champaign
by New Mexico College of Agriculture and Mechanic Arts. Agricultural Experiment Station
32
0
0
University of Illinois Urbana-Champaign
by University of Illinois at Urbana-Champaign. College of Law
41
0
0